Verification of Imperative Programs through Transformation of Constraint Logic Programs Emanuele De Angelis1 , Fabio Fioravanti1 , Alberto Pettorossi2 and Maurizio Proietti3 1

Source URL: www.iasi.cnr.it

Analysis and Specialisation of Imperative Programs: An approach using CLP Julio C. Peralta Estrada A thesis submitted to the University of Bristol in accordance with the

Source URL: repository.readscheme.org

• Theoretical computer science
• Programming paradigms
• Software engineering
• Logic in computer science
• Declarative programming
• Programming language semantics
• Constraint programming
• Logic programming
• Operational semantics
• Imperative programming
• CLP
• Programming language

Towards Semantics-Based Partial Evaluation of Imperative Programs Julio C. Peralta April 1997

Source URL: repository.readscheme.org

• Software engineering
• Computer programming
• Programming paradigms
• Theoretical computer science
• Constraint logic programming
• Prolog
• Programming language
• Partial evaluation
• Functional programming
• Constraint programming
• Abstract interpretation
• Logic programming

Centrum voor Wiskunde en Informatica Alma-0: An imperative language that supports declarative programming R. Apt, J. Brunekreef, V. Partington and A. Schaerf Probability, Networks and Algorithms (PNA)

Source URL: www.klomp.org

• Software engineering
• Computer programming
• Programming paradigms
• Theoretical computer science
• Programming idioms
• Computability theory
• Alma-0
• Backtracking
• Logic programming
• Recursion
• Prolog
• Imperative programming

Verifying Higher-Order Imperative Programs with Higher-Order Separation Logic Neelakantan R. Krishnaswami CMU-CSJuly 6, 2011

Source URL: www.mpi-sws.org

From last week Principles of programming languages Q: Multiparadigm languages? A: Yes Alma-0 combines logic and imperative programming

Source URL: www.few.vu.nl

NEW FOUNDATIONS FOR IMPERATIVE LOGIC III: A General Definition of Argument Validity

Source URL: fitelson.org

Comments on Peter Vranas’s New Foundations for Imperative Logic II: Pure Imperative Inference Reza Mahmoodshahi June 4, 2007 Peter’s principal result is an equivalence theorem. In his words, “it is a consequence of

Source URL: www.fitelson.org

NEW FOUNDATIONS FOR IMPERATIVE LOGIC II: Pure imperative inference Peter B. M. Vranas University of Wisconsin-Madison

Source URL: www.fitelson.org

Verification of Imperative Programs through Transformation of Constraint Logic Programs Emanuele De Angelis1 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1 University

Source URL: www.sci.unich.it